In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirableto develop several models of varying fidelity. Models of different fidelitylevels can enable mathematical analysis of the model, control synthesis, fastersimulation etc. Furthermore, when (automatically or manually) transitioningfrom a model to its implementation on an actual computational platform, thenagain two different versions of the same system are being developed. In allprevious cases, it is necessary to define a rigorous notion of conformancebetween different models and between models and their implementations. Thispaper argues that conformance should be a measure of distance between systems.Albeit a range of theoretical distance notions exists, a way to compute suchdistances for industrial size systems and models has not been proposed yet.This paper addresses exactly this problem. A universal notion of conformance ascloseness between systems is rigorously defined, and evidence is presented thatthis implies a number of other application-dependent conformance notions. Analgorithm for detecting that two systems are not conformant is then proposed,which uses existing proven tools. A method is also proposed to measure thedegree of conformance between two systems. The results are demonstrated on arange of models.
展开▼
